order complete set

有序完全集